formal methods - Inglés Sinónimo Diccionario